『Logic and Lattices for Distributed Programming』 - amutake

『Logic and Lattices for Distributed Programming』